Tootfinder

SLIGHT rant about how Nostr works and comparing it to BlueSky, Fedi, and other platforms in terms of moderation.
Well, I just learned a bit about Nostr.
It's basically "Bluesky, but FOSS". You have your account that has more control of moderation for the user.
The difference is that on Nostr nobody can "ban" per se because nobody has control over each other. It's block and mute. That's your moderation and you do it yourself. Nobody does it for you, unlike Fedi or BlueSky.
I gotta say, that's where a lot of you really need to go to have your eyes opened to what the Fediverse is really like for those of us on single user instances and the sheer amount of work unpaid moderators and admins do here to keep these instances as "nasty shit free" as they can.
Awhile back I kept seeing things like "Other platforms have moderation issues, there's CP and all kinds of other nasty stuff there".
There's all that here too, you're just privileged to have people with massive amounts of passion for this place and do the unpaid work to block and remove all that shit.
If you actually had any control in what you're allowed to see or not see, it can end up being the wild west for all things bad. Which is okay for those who don't mind blocking and muting endlessly (What Fediverse unpaid mods and admins do every day), but I'd bet a lot of you won't want to do that because it sounds HARD and potentially gross and traumatic.
So, whenever you think "that other platform is bad because their moderation sucks". Maybe, just maybe, think about if you would want to sit there all day looking at nasty shit like CP and other sexual crimes/hate speech/scams/etc. and have a little sympathy for the actual people who do. Because it sucks and it does exist here, you just don't see it.
#Fediverse #Nostr #Fedi #BlueSky #Threads #Moderation #Mastodon

So @yahoonews@threads.net is active on Threads. If that isn’t a prime example for somebody who should really federate in once Threads is done with their ActivityPub implementation, I don’t know who is. Looking forward to see what they will do! 👀

My favorite(?) hobby (after calisthenics): complaint letters.
The English executive summary is, they didn't print my letter to the editor of a week ago, but the letters editor wrote me back privately to commend me for it. I thanked him here and said while I'm not looking for perfection, uh, U.S. political terms aren't *five* years long. Oh, and by the way, can you guys cut it out with hyphenating English words so idiotically, such as what happened recently with Princess &qu…

Towards Classical Software Verification using Quantum Computers
Sebastian Issel, Kilian Tscharke, Pascal Debus
https://arxiv.org/abs/2404.18502 https://

Towards Classical Software Verification using Quantum Computers
We explore the possibility of accelerating the formal verification of classical programs with a quantum computer. A common source of security flaws stems from the existence of common programming errors like use after free, null-pointer dereference, or division by zero. To aid in the discovery of such errors, we try to verify that no such flaws exist. In our approach, for some code snippet and undesired behaviour, a SAT instance is generated, which is satisfiable precisely if the behavior is…

I'm still wondering what would be the best approach towards unique #eMail addresses with my domain.
For a long time, I've been using the " " approach with #GMail but that sucks because:
• A fair number of sites reject e-mail addresses containing a " ", and at this point it's no longer a matter of copy-pasting poor snippets, but people explicitly blocking cheap unique addresses.
• It's quite obvious, and so people can easily take the "base" address out of it.
I'm considering three alternatives:
1. The catch-all, or opt-out approach — just grab mail from all possible addresses. Easy to set up, and lets me dynamically get unique addresses with no effort. On the minus side, it's going to get lots of #spam, and I'll end up having to block a lot of commonly used usernames.
2. Prefixed catch-all — grab mail from all possible addresses starting with a specific prefix. Somewhat similar to the " " approach, except without special characters and less obvious. Would combine being able to quickly make new addresses up, while filtering out most of the generic spam. On the minus side, I don't think most of the mail providers would actually support something like that.
3. Explicit addresses, or opt-in approach — create aliases explicitly whenever I need one. Lots of work, but probably the cleanest solution. I'd probably also have to have a handful of "free" aliases on me, in case I needed to quickly give someone a unique e-mail address.

Identifying CP Basis Invariants in SMEFT
Neda Darvishi, Yining Wang, Jiang-Hao Yu
https://arxiv.org/abs/2403.18732 https://arxiv.org/…

Identifying CP Basis Invariants in SMEFT
Building on our automated framework that uses ring diagrams for classifying CP basis invariants [1], this paper broadens the application of the methodology with more extensive examples and a wider scope of theoretical frameworks. Here, we showcase its versatility through detailed analyses in the Standard Model Effective Field Theory (SMEFT) up to dim-2n, and SMEFT with sterile neutrinos (νSMEFT) up to dimension-7. By integrating the ring-diagram technique with the Cayley-Hamilton theorem, we h…

✨ FIX THE BUG ✨
It's time again for Fix the Bug!
Check out the snippet and let us know what's wrong 👀 this time we're looking at traits!

People don’t understand the fediverse.
Today’s exhibit: people on #Threads complain that it’s not good for news, example yesterday. We know that, because Meta has said over and over they de-emphasize news.
But that’s what the #fediverse is for! Somebody will build the worlds best news feed and…

This https://arxiv.org/abs/2307.00017 has been replaced.
initial toot: https://mastoxiv.page/@arX…

Explicit mutual information for simple networks and neurons with lognormal activities
Networks with stochastic variables described by heavy tailed lognormal distribution are ubiquitous in nature, and hence they deserve an exact information-theoretic characterization. We derive analytical formulas for mutual information between elements of different networks with correlated lognormally distributed activities. In a special case, we find an explicit expression for mutual information between neurons when neural activities and synaptic weights are lognormally distributed, as suggeste…

This https://arxiv.org/abs/2307.08745 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

Computing Tools for Effective Field Theories
In recent years, theoretical and phenomenological studies with effective field theories have become a trending and prolific line of research in the field of high-energy physics. In order to discuss present and future prospects concerning automated tools in this field, the SMEFT-Tools 2022 workshop was held at the University of Zurich from 14th-16th September 2022. The current document collects and summarizes the content of this workshop.